perm filename TECHNI.MEN[F75,JMC]1 blob sn#196440 filedate 1976-01-12 generic text, type C, neo UTF8
COMMENT āŠ—   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	TECHNICAL MATHEMATICAL LOGICAL PROBLEMS
C00003 ENDMK
CāŠ—;
TECHNICAL MATHEMATICAL LOGICAL PROBLEMS


#. When is a second order definition reducible to first order.

#. Formally define a metaphilosophical system.  It includes
a class of worlds, the sensory and motor system, and the driver
connections that can lead the "philosopher" to think but
can't tell him anything, i.e. we need to separate the heuristic
from the epistemological problem.